Group\{i\} $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\{$g$:Mon$\mid$ Inverse($\mid$$g$$\mid$;$\ast$;e;$\sim$)\}